ðTERMINE:> intuizionismo

AUTORE:> Quine

OPERA/E:> From a logical point of view, trad. it. p.15

FONTE:> direttamente dal testo.

OSSERVAZIONI: >

Quine: l’intuizionismo moderno, sposato in forme diverse da Poincaré. Brouwer, Weyl ed altri, accetta le variabili vincolate riferentisi ad entità astratte, ma solo quando quelle entità possano venir escogitate con eelementi escogitati in precedenza.

Esso sostiene, per dirla con Fraenkel, che le classi sono inventate (e non scoperte come sostiene il logicismo).